Linear Programming Heuristics for the Graph Isomorphism Problem
نویسندگان
چکیده
An isomorphism between two graphs is a bijection between their vertices that preserves the edges. We consider the problem of determining whether two finite undirected weighted graphs are isomorphic, and finding an isomorphism relating them if the answer is positive. In this paper we introduce effective probabilistic linear programming (LP) heuristics to solve the graph isomorphism problem. We motivate our heuristics by showing guarantees under some conditions, and present numerical experiments that show effectiveness of these heuristics in the general case. 1 Graph isomorphism problem 1.1 Problem statement Consider two weighted undirected graphs, each with n vertices labeled 1, . . . , n, described by their adjacency matrices A, à ∈ Rn×n, where Aij is the weight on the edge in the first graph between vertices i and j, and zero if there is no edge between vertices i and j (and similarly for Ã). Since the graphs are undirected, the adjacency matrices are symmetric. The two graphs are isomorphic if there is a permutation of the vertices of the first graph that makes the first graph the same as the second. This occurs if and only if there is a permutation matrix P ∈ Rn×n (i.e., a matrix with exactly one entry in each row and column that is one, with the other zero) that satisfies PAP T = Ã. We will say that the permutation matrix P transforms A to à if PAP T = Ã, or equivalently, PA = ÃP . The graph isomorphism problem (GIP) is to determine whether such a permutation matrix exists, and to find one if so. GIP can be formulated as the (feasibility) optimization problem find P subject to PA = ÃP P1 = 1, P 1 = 1 Pij ∈ {0, 1}, i, j = 1, . . . , n, (1) with variable P ∈ Rn×n, where 1 is the vector with all entries one. The data for this problem are the adjacency matrices of the two graphs, A and Ã. The constraints on the last two lines
منابع مشابه
Parallel Subgraph Isomorphism
The subgraph isomorphism problem deals with determining whether a given graph H is isomorphic to some subgraph of another graph G. In this paper we attempt to parallelize a fast serial subgraph isomorphism library, VFLib, which uses backtracking search to find a solution. Our parallel solution runs on Cilk++ for efficient execution on multicore machines. In our work we examine the benefits and ...
متن کاملA Heuristic for the Subgraph Isomorphism Problem in Executing PROGRES
The work reported here is part of the PROGRES (PROgrammed Graph Rewriting Systems) project. PROGRES is a very high level multi paradigm language for the specification of complex structured data types and their operations. The data structures are modelled as directed, attributed, node and edge labelled graphs (diane graphs). The basic programming constructs of PROGRES are graph rewriting rules (...
متن کاملLinear Algebraic Analogues of the Graph Isomorphism Problem and the Erdős-Rényi Model
A classical difficult isomorphism testing problem is to test isomorphism of p-groups of class 2 and exponent p in time polynomial in the group order. It is known that this problem can be reduced to solving the alternating matrix space isometry problem over a finite field in time polynomial in the underlying vector space size. We propose a venue of attack for the latter problem by viewing it as ...
متن کاملThe complexity of comparing reaction systems
MOTIVATION As more genomic data becomes available there is increased attention on understanding the mechanisms encoded in the genome. New XML dialects like CellML and Systems Biology Markup Language (SBML) are being developed to describe biological networks of all types. In the absence of detailed kinetic information for these networks, stoichiometric data is an especially valuable source of in...
متن کاملReplicator Equations, Maximal Cliques, and Graph Isomorphism
We present a new energy-minimization framework for the graph isomorphism problem that is based on an equivalent maximum clique formulation. The approach is centered around a fundamental result proved by Motzkin and Straus in the mid-1960s, and recently expanded in various ways, which allows us to formulate the maximum clique problem in terms of a standard quadratic program. The attractive featu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1611.00711 شماره
صفحات -
تاریخ انتشار 2016